Knowledge representation in process

In process engineering, as in many other application domains, the domain spe-ciic knowledge is far too complex to be described entirely using description logics. Hence this knowledge is often stored using an object-oriented system, which, because of its high expressive-ness, provides only weak inference services. In particular, the process engineers at RWTH Aachen have developed a frame-like language for describing process models. In this paper, we investigate how the powerful inference services provided by a DL system can support the users of this frame-based system. In addition, we consider extensions of description languages that are necessary to represent the relevant process engineering knowledge. Process engineering is concerned with the design and operation of chemical processes that take place in large chemical plants. This engineering task includes activities like deciding on an appropriate owsheet structure (e.g. connguration of reaction and separation systems), mathematical modeling and simulation of the process behavior (e.g. stating mathematical equations and performing numerical simulations), sizing of components (like reactors, heat exchangers etc.) as well as budgeting and engineering economics. These highly complex tasks can be supported by building computer models of the chemical plants and processes, using appropriate software tools such CAD, decision support systems and numerical tools. Rather than designing each new model from scratch, one wants a system that offers standard building blocks that can easily be put together. Standard building blocks Mar-quardt, 1994; Bogusch & Marquardt, 1995] are objects representing material entities such as reactors, pipes, control and cooling units, models of these devices such as device-, environment-, and connection-models, interfaces between these models and so-called implementations describing their behaviour , symbolic equations specifying these implementations and variables occuring in these equations, which are related to each other as speciied in the interfaces. Since there is a great variety of diierent building blocks, they must be stored in an appropriate database. Since process engineering is a quickly evolving eld, the number of standard building blocks increases constantly. Hence it must be possible to deene new building blocks in a comfortable way. The process engineers at the RWTH Aachen we are cooperating with have developed a frame-like language for describing these standard building blocks, Bogusch & Marquardt, 1995; Mar-quardt, 1994]. This language allows to group building blocks into classes, and to order the classes in an is-a/specialization-of hierarchy. It should be noted that this hierarchy is explicitly given by the person deening the classes (the …